Skip to content

Fix #2484 (extra guards for arith-to-cggi)#2724

Closed
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_868417961
Closed

Fix #2484 (extra guards for arith-to-cggi)#2724
copybara-service[bot] wants to merge 1 commit into
mainfrom
test_868417961

Conversation

@copybara-service

Copy link
Copy Markdown
Contributor

Fix #2484 (extra guards for arith-to-cggi)

PiperOrigin-RevId: 868417961
@copybara-service copybara-service Bot closed this Jun 13, 2026
@copybara-service copybara-service Bot deleted the test_868417961 branch June 13, 2026 23:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bitwidth assertion in CGGI materialization

1 participant